Browsing by Subject "Formal framework"

Now showing items 1-5 of 5

    • Article  

      A general resource framework for real-time systems 

      Lee, I.; Philippou, Anna; Sokolsky, O. (2004)
      The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and ...
    • Conference Object  

      A psychology-inspired approach to automated narrative text comprehension 

      Diakidoy, Irene-Anna N.; Kakas, Antonis C.; Michael, Loizos; Miller, R. (AAAI press, 2014)
      We report on an ongoing research program to develop a formal framework for automated narrative text comprehension, bringing together know-how from research in Artificial Intelligence and the Psychology of Reading and ...
    • Article  

      Type checking privacy policies in the π-calculus 

      Kouzapas, D.; Philippou, Anna (2015)
      In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
    • Article  

      Type checking purpose-based privacy policies in the π-calculus 

      Kokkinofta, E.; Philippou, Anna (2016)
      In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...
    • Article  

      A typing system for privacy 

      Kouzapas, D.; Philippou, Anna (2014)
      In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-calculus with groups [1] accompanied by a type system for capturing privacy-related ...